int strcmp_tests();
